Graph Nodes:
X2;X3;X6;X7;X8;X9;X10;X11;X12;X13

Graph Edges:
1. X10 o-> X11
2. X10 o-> X12
3. X10 --> X13
4. X10 o-o X3
5. X11 --> X13
6. X12 o-> X13
7. X2 o-> X11
8. X3 o-> X8
9. X3 o-> X9
10. X6 o-> X12
11. X6 o-> X13
12. X6 o-> X9
13. X7 --> X12
14. X7 --> X13
15. X7 o-o X6
16. X7 o-> X8
17. X7 o-> X9
18. X8 --> X12
19. X8 --> X13
20. X9 <-> X12
21. X9 <-> X13

